dideoxy sequencing